s0,2,s1,1
s1,0,s3,<
s1,1,s2,<
s2,1,s3,<
s3,1,s0,<
s3,0,s0,<